$\forall$$A$:Realizer. Rnone?($A$) $\Rightarrow$ ($A$ $\sim$ $\cdot$)